(b) Define suitable specifications for the queue functions listed above.
